$\forall$$b$:$\mathbb{B}$, $x$:Prop. if $b$$\rightarrow$ $x$ else False fi $\Leftrightarrow$ $b$ \& $x$